$\forall$$a$:$\mathbb{Z}$, $b$:$\mathbb{Z}^{-\circ}$. ($a$ rem {-}$b$) = ($a$ rem $b$)